Siano g, g' che soddisfano
g'
·
f=1
A
, f
·
g=1
B
.
Allora g= 1
A
·
g= (g'
·
f)
·
g = g'
·
(f
·
g)= g'
·
1
B
= g'