Universal Property of Free Modules