theorem :: ASYMPT_3:18

R_Algebra_of_Big_Oh_poly is Algebra ;