命題
Ψ を可換体の拡大（過去スレpart4の512）からなる正則（>>27）な類とする。
K を可換体とする。
H/K を拡大とする。
E と F を H/K の中間体（過去スレpart4の854）で E/K ∈ Ψ、F/K ∈ Ψ とする。
EF を H における E と F の合成体（過去スレpart4の901）とする。
このとき EF/K ∈ Ψ である。

証明
E/K ∈ Ψ であるから>>27の（2）より EF/F ∈ Ψ である。
F/K ∈ Ψ であるから>>27の（1）より EF/K ∈ Ψ である。
証明終