theorem :: BKMODEL1:32

for D being non empty set
for A being Matrix of 1,3,D ex d1, d2, d3 being Element of D st A = <*<*d1,d2,d3*>*>