Description: Lemma for founded recursion. State the founded recursion generator in terms of the acceptable functions. (Contributed by Scott Fenton, 27-Aug-2022)