Universal Property of Quotient Rings