dass die Einheitsmatrix-A invertierbar ist.:
A^t * x-Vektor = x-Vektor
<=>   A^t * x-Vektor = E*x-Vektor
<=>   0-Vektor = E*x-Vektor  -   A^t * x-Vektor
<=>   0-Vektor = (E -   A^t) * x-Vektor
Wenn die obere Gleichung genau eine Lösung hat, dann auch
die untere, also ist    (E -   A^t)  invertierbar.