theorem Th67: :: MATRIXR2:67

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