theorem :: XPRIMES0:861

not 861 is prime