theorem :: XPRIMES0:1705

not 1705 is prime