Sei v ein Eigenvektor von A. Dann gilt   :
Es gibt ein x∈K mit   A*v=x*v und v ist nicht der Nullvektor.
==>                  A^(-1) * (A*v) = A^(-1)* (x*v) = x* A^(-1)*v
==>                             E * v =  x* A^(-1)*v
==>                                   v =   x* A^(-1)*v
Da A∈ GLn(K) ist, ist 0 kein Eigenwert, also gilt auch
                                1/x * v = A^(-1)*v
also ist v auch ein Eigenvektor von A^(-1) .
Entsprechend folgt auch
v Eigenvektor von A^(-1) ==> v Eigenvektor von A.