Wir benutzen, dass Matrizenmultiplikation assoziativ ist. Dann gilt folgende Gleichung:
B = B ⋅ E n = B ( M ⋅ A ) = ( B M ) ⋅ A = E n ⋅ A = A {\displaystyle B=B\cdot E_{n}=B(M\cdot A)=(BM)\cdot A=E_{n}\cdot A=A}
⇒ A = B {\displaystyle \Rightarrow A=B} and M is invertible