theorem :: XPRIMES0:692

not 692 is prime