for D being non empty set
for r being Real
for Y being RealNormSpace
for G, H being Functional_Sequence of D, the carrier of Y holds
( r (#) (G + H) = (r (#) G) + (r (#) H) & r (#) (G - H) = (r (#) G) - (r (#) H) )