theorem :: XPRIMES0:1757

not 1757 is prime