hay un epimorfismo conjuntista "f" tal que "f"("g"("x"))="f"("a"*"x")="x" para todo "x", luego "f" es una retracción.