LEAN_INFORMATION
position 8:4
a b c d : ℕ,
h₁ : a + b = 0,
h₂ : b = 0
⊢ a = 0
END_LEAN_INFORMATION