theorem :: XPRIMES0:1498

not 1498 is prime