Base case for (N : Nat) sum(N) + sum(N) = N * s N .
We use reduction to show that
sum(0) + sum(0) = 0 * s 0 .
This involves the following step:
  1. show sum(0) + sum(0) = 0 * s 0 by reduction.

28 May 1997