命題
K ⊂ L ⊂ M を可換体の塔（過去スレpart4の864）とする。
tr.dim M/K = tr.dim L/K + tr.dim M/L である。
但し ∞ + ∞ = ∞ であり、n が整数 ≧ 0 のとき n + ∞ = ∞ + n = ∞ とする。

証明
>>37より明らかである。