SZS status Theorem for i/f/toto/cpn2num__thm_c2
