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:
show
sum(0) + sum(0) = 0 * s 0
by
reduction
.
28 May 1997