theorem :: XPRIMES0:1514

not 1514 is prime