Let L, be a list, as in Definition 3.3. Define a numerical function f as follows.
B. If L = x, a single element, then f(L) = 1.
R. If L = L', x for some list L', then f(L) = f(L') + 1.
(a) Show the steps of a "top-down" computation, as in Example 3.28, to find the value of f(veni, vidi, vici).
(b) What does the value of f(L) tell you about the list L, in general?
(c) Prove your assertion in part (b), using induction.