theorem :: XPRIMES0:682

not 682 is prime