theorem :: XPRIMES0:1242

not 1242 is prime