展开 证明ab相互独立的充分必要条件是p