事件A与事件~A构成概率空间
若A与B相互独立,则事件B与A与事件~A构成概率空间之间独立
故A的逆与B也相互独立