Definition:Universal Property of Polynomial Ring