요거 F가 n+1개 이상의 원소를 가지면 모순이라는 부분 뭔 소리에요?


F가 닫혀있어야하는거 때문에 그런가?