SZS status Theorem for i/f/numRing/num__ring__thms_c7
