SZS status Theorem for i/f/numeral/TWO__EXP__THM_c0
