theorem :: XPRIMES0:1305

not 1305 is prime