ab与c独立的充要条件