&gt; <i>It&#x27;s about math and software engineering.</i><p>Good idea; can you explain it in terms of software engineering? What software engineering problem is it solved by this lemma?<p>E.g. Starting with this set of requirements, we are transported to a solution thusly: ...