theorem :: XPRIMES0:492

not 492 is prime