Se dice que formula_1 es extensión finita si el grado de la extensión formula_3 es un número finito.