page 2
1
2
3
Sum of the First n Natural Numbers
The Base Case
We want to prove
sum(0) + sum(0) = 0 * (s 0) .
We show it by
reduction
.
Left
Up
Down
Right
This page was generated by Kumo on Tue Feb 13 17:31:26 PST 2001.