theorem :: XPRIMES0:1687

not 1687 is prime