theorem Th68: :: MATRIXR2:68

for K being Field
for A being Matrix of K holds (1. (K,(len A))) * A = A