theorem :: XPRIMES0:697

not 697 is prime