theorem :: XPRIMES0:1700

not 1700 is prime