page 1  1 
We want to prove
( N M : Nat ) (M + N)  N = M .We use induction on N to prove this goal. For this, we use the induction scheme based on the signature { 0, s } for Nat. Induction requires that we do the following:
And thus the main goal is proved. 
