theorem :: XPRIMES0:1368

not 1368 is prime