Universal Property of the Free Group