Esto implica que la extensión formula_1 es algebraica.