Sea formula_1 el grupo generado por formula_172 y formula_225 Como tenemos las relaciones formula_226 y formula_227 vemos que coincide con el grupo diedral formula_228 poniendo formula_229 y formula_230