theorem :: XPRIMES0:240

not 240 is prime