theorem :: XPRIMES0:886

not 886 is prime