Lo mismo ocurre si formula_38 Vemos entonces que formula_39, lo que garantiza la unicidad.