となるからである(formula_83もと代数体およびランクにのみ依存する計算可能な定数である。