Field/Binomi/Fact/Proof
Jump to navigation
Jump to search
Proof
We do induction over . For we have on one hand and on the other hand as well. Suppose now that the statement is true for . Then
We do induction over . For
we have on one hand
and on the other hand
as well. Suppose now that the statement is true for
. Then