正規拡大の定義と同値条件