theorem Th32: :: ZMATRLIN:27

for V1 being free finite-rank Z_Module
for M being Matrix of the carrier of V1 holds Sum (Sum M) = Sum (Sum (M @))