06互易定理