theorem :: XPRIMES0:1702

not 1702 is prime