Esta propiedad se llama propiedad universal de los grupos libres.