代数拡大と有限拡大の関係