theorem :: XPRIMES0:1686

not 1686 is prime