16.12 최소최대 정리의 수학적 증명 과정