SZS status Theorem for i/f/numeral/iSUB__THM_c0
