그럼 그 부분만 재 증명하는게 났지 않을까요?