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