ula_11的扩张都是可分的，从而任何formula_11的代数扩张都可以被包含在一个伽罗瓦扩张内。假设formula_20、formula_21都是伽罗瓦扩张。考虑伽罗瓦群formula_22的西罗2-子群"H"。那么formula_23是奇数。由本原元定理得出，"K"存在本原元formula_24，它的极小多项式是奇次的。但是利用实数集的事实2，任何奇次数多项式在实数上有一个根，不存在奇数次且次数>1的不可分多项式。于是formula_25是2的幂次。假设formula_26并且"r>0"，再次利用