theorem :: XPRIMES0:862

not 862 is prime