SZS status Theorem for i/f/bit/DIV__GT0
