theorem :: XPRIMES0:686

not 686 is prime