for M being Matrix of COMPLEX holds ColSum M = LineSum (M @)