theorem :: XPRIMES0:1701

not 1701 is prime