theorem :: XPRIMES0:1690

not 1690 is prime