theorem Th33: :: MEASURE9:35

for a being R_eal holds Sum <*a*> = a