SZS status Theorem for i/f/quotient/RES__EXISTS__EQUIV0
