Finally, multiplication by a permutation matrix will get the exponents in descending order.
With Lemma 4 in $\langle$at$\rangle$ hand, we can finally define $E$ to be equal to $P(m)/H$.
This finally yields $f=g$. [Not: “yields that $f=g$”]
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z