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