for n being Nat
for K being Field holds Trace (0. (K,n)) = 0. K