Die Spalten der Matrix sind genau dann linear unabhängig, wenn die Spaltenvektoren
einen n-dimensionalen Unterraum von Kn, also Kn selbst aufspannen.
Das ist genau dann der Fall, wenn die lineare Abbildung x↦Ax surjektiv ist.
Im endlich-dimensionalen Fall ist das genau dann der Fall, wenn die
lineare Abbildung bijektiv ist, d.h. wenn es eine Matrix B gibt, so dass
x↦Bx die Umkehrabbildung zu x↦Ax ist, also
genau dann wenn A⋅B=In mit einer Matrix B ist.
Das aber ist mit der Invertierbarkeit von A äquivalent.
Aus der Multiplikativität der Determinante folgt dann die Behauptung.