[see also: last, lastly]
Finally, multiplication by a permutation matrix will get the exponents in descending order.
With Lemma 4 in <at> hand, we can finally define E to be equal to P(m)/H.
This finally yields f=g. [Not: “yields that f=g'']