ここでformula_8はサッカー・テトロード定数に相当する。