theorem :: XPRIMES0:1300

not 1300 is prime