SZS status Theorem for i/f/numeral/iDUB__removal_c0
