命題
>>22と同じ状況を仮定する。
このとき Aut(L/K) は ΠAut(E_i/K) に位相群として同型である。

証明
>>32と>>34と>>4より明らかである。