theorem :: XPRIMES0:1492

not 1492 is prime