theorem :: XPRIMES0:1708

not 1708 is prime