theorem :: XPRIMES0:1308

not 1308 is prime