hallaremos una extensión formula_303, para algún formula_304, donde el