Description: Principle of Transfinite Recursion, part 2 of 3. Theorem 7.41(2) of
TakeutiZaring p. 47. Here we show that the function F has the
property that for any function G whatsoever, the "next" value of
F is G recursively applied to all "previous" values of F .
(Contributed by NM, 9-Apr-1995)(Revised by Stefan O'Rear, 18-Jan-2015)