Es sei M {\displaystyle {}M} eine n × n {\displaystyle {}n\times n} -Matrix derart, dass es n × n {\displaystyle {}n\times n} -Matrizen A , B {\displaystyle {}A,B} mit M ∘ A = E n {\displaystyle {}M\circ A=E_{n}} und mit B ∘ M = E n {\displaystyle {}B\circ M=E_{n}} gibt. Zeige A = B {\displaystyle {}A=B} und dass M {\displaystyle {}M} invertierbar ist.