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