theorem :: XPRIMES1:113

113 is prime