Universal Property of the Free Product