theorem :: XPRIMES0:681

not 681 is prime