theorem :: XPRIMES0:699

not 699 is prime