theorem :: XPRIMES0:600

not 600 is prime