SZS status Theorem for i/f/ratRing/rat__ring__thms_c14
