SZS status Theorem for i/f/quotient/EQUIV__REFL__SYM__TRANS
