theorem :: XPRIMES1:877

877 is prime