Como formula_87, sabemos que podemos expandir la base de formula_88 para obtener una base de formula_86.