Universal Property of Direct Sums of Modules