6.3.5. a΄ _* (a _* a΄) =(λόγω προσετ.) (a΄_* a) _* a΄ = e _* a΄ = a΄ = (λόγω 6.3.4.) a΄ _* e.

          Τώρα η 6.3.3. συνεπάγεται ότι a _* a΄ = e.

Επιστροφή

Επιστροφή στα Περιεχόμενα