We conclude with a brief mention of free inverse semigroups.
We now turn to a brief discussion of another concept which is relevant to John's theorem.
In brief outline, here is the main idea of the proof.
We shall be brief here and just estimate the terms that are the most challenging.