ちなみに、
「誰も間違いを指摘しないこと」
と
「証明が正しいこと」
は同値じゃないですからね