Puede comprobarse que la aplicación formula_5 así definida es la biyección buscada.