형식정리한토론.png(닫힌 편집 요청)