theorem :: XPRIMES0:1362

not 1362 is prime