theorem :: XPRIMES0:368

not 368 is prime