De hecho, haciendo variar "f", se demuestra que formula_7 está unívocamente determinadad por formula_29.