theorem :: XPRIMES0:1682

not 1682 is prime