theorem :: XPRIMES0:468

not 468 is prime