De manera análoga se demuestra que formula_21, con lo que resulta ser formula_22, y el conjunto formula_23 entonces es único.