theorem :: XPRIMES0:882

not 882 is prime