theorem :: XPRIMES0:696

not 696 is prime