theorem :: XPRIMES0:1751

not 1751 is prime