theorem :: XPRIMES0:1497

not 1497 is prime