theorem :: XPRIMES0:1688

not 1688 is prime