SZS status Theorem for i/f/numeral/internal__mult__characterisation_c2
