互易定理的第三种形式