theorem :: XPRIMES0:1200

not 1200 is prime