Como consecuencia de ello el grupo formula_79 es un grupo libre, isomorfo a formula_92.