theorem :: XPRIMES0:1707

not 1707 is prime