展开 证明ab独立的充要条件