필요불가분적 가이드

필요충분조건(13)