53.12 시브엔코 증명 단계 2: 출력 공간의 폐포(Closure) 구성