theorem :: XPRIMES1:887

887 is prime