theorem :: XPRIMES0:690

not 690 is prime