theorem :: XPRIMES0:1309

not 1309 is prime