theorem :: MATRPROB:21

for M being Matrix of REAL st width M > 0 holds
LineSum M = ColSum (M @)