Demostración: Si formula_182, entonces formula_24 es la imagen de algún formula_166, y así formula_185.