theorem :: XPRIMES0:693

not 693 is prime