theorem :: XPRIMES0:493

not 493 is prime