Puede probarse que formula_34 es a su vez un grupo tomando como operación la composición de aplicaciones.