theorem :: XPRIMES0:361

not 361 is prime