theorem Th27: :: BKMODEL1:30

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