证明事件A,B相互独立的充要条件