theorem :: XPRIMES0:1689

not 1689 is prime