zu "==>"  Seien  A,B ∈ M3(K) mit  AB = I3  und  u,v,w die Spalten von A.
Seien x,y,z ∈ K mit   x*u+y*v+z*w = 0-Vektor
==>                               x                   0
                       A  *         y         =        0
                                     z                   0
Wegen AB=I3 ist auch BA=I3
(siehe https://de.wikipedia.org/wiki/Inverse_Matrix#Gruppeneigenschaften   )
also multipliziere von links mit B
                                          x                              0                  0
               B *        A  *         y         =        B *      0         =      0
                                          z                              0                  0
==>  x = y = z = 0 , also u,v,w lin. unabh.
und wegen dim(K^3)=3 also eine Basis.
"<=="   Seien die Spalten von A eine Basis, dann läßt sich jedes
Element von K^3 als Linearkombination der Spalten von A darstellen,
also insbesondere gibt es a,b,c mit
                                                       1
                a*u+b*v+c*w          =      0
                                                       0
Diese a,b,c bilden die erste Zeile von B. Entsprechend bekommst
du auch die anderen beiden.