>>99-100
証明に失敗作 → 証明の失敗作

まあ、間違いの指摘ばかりしていると何の発見もない