Universal Property of the Polynomial Ring