helphome pageduck scriptspecificationfirst proof pagepage 2page 1 1 2 3 page 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.

BOBJ proof scoreLeft    Up    Down    Right   
 

       This page was generated by Kumo on Tue Feb 13 17:31:26 PST 2001.