theorem :: XPRIMES0:1302

not 1302 is prime