theorem :: XPRIMES0:888

not 888 is prime