Se deduce que toda extensión simple que sea algebraica es de grado finito.