[see also: least, maximal
In the next theorem, we give fairly minimal conditions that imply......
Suppose that of all such solutions, (x,y,z) is one with y minimal.
Define n to be minimal such that fn(x)=y.