theorem :: XPRIMES0:695

not 695 is prime