Die Vektoren a_1,dots,a_n in K^n bilden genau dann eine Basis, wenn die Determinante der Matrix A = left(a_1,dots,a_n right) nicht verschwindet. (Autoren: Höllig/Hörner) Erläuterung: Beweis: Basistest Gefunden auf https://mo.mathematik.uni-stuttgart.de/inhalt/aussage/aussage600/