theorem LM19: :: ASYMPT_3:17

1. R_Algebra_of_Big_Oh_poly = 1. (RAlgebra NAT) by defAlgebra;