theorem RSSPAC3: :: ASYMPT_3:29

for a being Real
for v being VECTOR of R_Algebra_of_Big_Oh_poly
for v1 being Function of NAT,REAL st v = v1 holds
a * v = a (#) v1