theorem :: ASYMPT_3:39

for v, w being VECTOR of R_Algebra_of_Big_Oh_poly st w in negligibleFuncs holds
v * w in negligibleFuncs