theorem Th44: :: MATRIX13:44

for D being non empty set
for i0, j0 being non zero Nat
for A being Matrix of D holds Segm (A,{i0},{j0}) = <*<*(A * (i0,j0))*>*>