SZS status Theorem for i/f/bit/DIV__MULT__THM
