증명(닫힌 토론)