证明A与B相互