1.4.2 充要条件