8.15. Εστω
ότι (ab)n = (ab)(ab) …(ab) (n φορές)
= e
b(ab)
…(ab) = a-1
b(ab)
…(ab)a = e
(ba)(ba) …(ba) = (ba)n = e.
Aυτό
δείχνει ότι 
£ 
. Αρα
και £
, αφού ότι
ισχύει
για το a ισχύει
και για το b. Ετσι
= .