theorem :: XPRIMES0:685

not 685 is prime