Go backward to Example (Continued) Go up to Top Go forward to Example (Continued)

Example (Continued)

Case x=cons(e, l):

Take arbitrary e in T and l in List(T).

We assume (induction hypothesis)

forall y in List(T):

length(append(l, y)) = length(l)+length(y)

and have to show

forall y in List(T):

length(append(cons(e, l), y)) = length(cons(e, l)) +length(y).