Universal Property of Quotient Modules