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.