``` def add_one (i : ℕ) : ℕ := i + 1 example : add_one 0 = 1 := by texify decide ``` <img width="347" alt="Image" src="https://github.com/user-attachments/assets/f24be5a9-2c29-44ef-adf6-03c2678b4b42" />
