Znači, f je fiksirani automorfiyam polja B.
F(p)=F(q)
fpf^(-1)=fqf^(-1)
fpf^(-1)f=fqf^(-1)f, množenje sa f sa desne strane
fp=fq
f^(-1)fp=f^(-1)fq, množenje sa f^(-1) sa leve strane
p=q
Dakle, koristi se invertibinost automorfizma f i asocijativnost kompozicije preslikavanja
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.