theorem :: XPRIMES0:1494

not 1494 is prime