theorem :: XPRIMES0:514

not 514 is prime