theorem :: XPRIMES0:604

not 604 is prime