for D being non empty set
for A being Matrix of D holds Segm (A,(Seg (len A)),(Seg (width A))) = A