Definition:Universal Property of Polynomial Ring in One Variable