Si formula_24 es un grupo y formula_174, entonces formula_337, pues formula_338, luego formula_334 es reflexiva.