SZS status Theorem for i/f/quotient/RES__FORALL__REGULAR
