theorem Th60: :: MATRIX_0:60

for D being non empty set
for M being Matrix of D
for i being Nat st i in dom M holds
M . i = Line (M,i)