a΄*
(a * b) = a΄* (a
* c) 
(λόγω
προσετ.) (a΄* a) *
b = (a΄* a) * c6.3.3. Πολλαπλασιάζοντας με το αριστερό αντίστροφο a΄ του a
a *
b = a * c a΄*
(a * b) = a΄* (a
* c) (λόγω
προσετ.) (a΄* a) *
b = (a΄* a) * c
e * b = e * c
b =
c.