+ wenn es n2 linear unabhängige n×n Matrizen gibt, dann bilden diese bereits eine Basis von Kn×n, denn die Dimension von Kn×n ist n2.
∑i=1nαibi=0 mit αi=0 für alle 1≤i≤n, denn die Elemente einer Basis sind linear unabhängig.
∑i=1nαibi∑j=1nαjbjT=[...]=?