theorem :: XPRIMES0:1513

not 1513 is prime