公式によると、証明確認する場合があるとありますが、実際に求められたことは無いですね