SZS status Theorem for i/f/quotient/RES__EXISTS__REGULAR
