김김계보면은 임의의 양수 e에 대해서 supS-e 가 S의 상계가 아니라고 하고 증명하던데 supS-e가 S의 원소가 아닐 수도 있는데 논리적 오류가 있는거아님?