theorem :: XPRIMES0:869

not 869 is prime