SZS status Theorem for i/f/numeral/enumeral__mult_c0
