theorem :: XPRIMES0:362

not 362 is prime