theorem :: XPRIMES0:884

not 884 is prime