theorem :: XPRIMES0:1204

not 1204 is prime