La extensión formula_16 no es en general única y la demostración, que utiliza el lema de Zorn, no da ningún método para encontrar formula_16.