theorem :: XPRIMES0:1710

not 1710 is prime