theorem Th20: :: MATRIX13:20

for D being non empty set
for A being Matrix of 1,D holds A = <*<*(A * (1,1))*>*>