7.4. Επαληθεύουμε τις 3 συνθήκες του θεωρήματος 7.2, όπου e = 1 και a΄= a-1:
(1) x, y
Un
xn = 1, yn = 1
(xy)n = xnyn = 1
xy
Un.
(2) 1
Un, αφού 1n
= 1.
(3) x
Un
xn = 1
(x-1)n = (xn)-1 = 1-1 = 1
x-1
Un.