theorem :: XPRIMES0:866

not 866 is prime