for i, n being Nat
for v being Element of n -tuples_on REAL holds (mlt (v,(0* n))) . i = 0