Universal Property of Polynomial Algebra