theorem Th31: :: MATRPROB:31

for i being Nat
for R being Element of i -tuples_on REAL holds mlt ((i |-> 1),R) = R