Let $f$ be the function on PROP that satisfies the recursion equations. Suppose there exists another function $g$ on PROP that also satisfies the same recursion equations. We want to show that $f = g$.
Since both $f$ and $g$ satisfy the recursion equations, we
Show more…