theorem :: XPRIMES1:883

883 is prime