theorem :: XPRIMES1:881

881 is prime