theorem :: XPRIMES0:1351

not 1351 is prime