theorem :: XPRIMES0:242

not 242 is prime