充要条件的证明,分成充分性和必要性两步