Nach Fakt ist die Spur eines Elementes z ∈ L {\displaystyle {}z\in L} gleich der Summe ∑ j = 1 n τ j ( z ) {\displaystyle {}\sum _{j=1}^{n}\tau _{j}(z)} . Für ein Produkt w z {\displaystyle {}wz} ist somit
Insbesondere ist
Somit ist
und daher nach Fakt