필요충분조건이다.