theorem :: XPRIMES0:1240

not 1240 is prime