theorem :: XPRIMES0:369

not 369 is prime