theorem Th33: :: MATGRP_0:23

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