En este formalismo, dado un conjunto "S", la existencia de un grupo libre en "S" queda demostrada por la construcción en la sección anterior.