SZS status Theorem for i/f/prelim/ordering2num__thm_c2
