theorem :: XPRIMES0:1495

not 1495 is prime