theorem :: XPRIMES0:1706

not 1706 is prime