theorem :: XPRIMES0:363

not 363 is prime