SZS status Theorem for i/f/integerRing/int__ring__thms_c17
