lean
Lean証明の検査迂回