SZS status Theorem for i/f/numposrep/l2n__2__thms_c0
