theorem :: XPRIMES0:1313

not 1313 is prime