定理１一部の証明のために次の補題を使う 補題１ (1)　 　 d = (β + β2γ + β3γ2 - βγ - β2γ2)c (2)　 　 e = (γ + γ2α + γ3α2 - γα - γ2α2)a (3)　 　 e = (β3γ + β2γω + βγω2 - β2ω - βω2)c (4)　e-d = β2γ(α-1)(β-1)(γ-1)c (5)　 　g = (βω2 + β2γ + β3γ2ω - βγω - β2γ2ω2)c (6)　 　j = (γω2 + γ2α + γ3α2ω - γαω - γ2α2ω2)a (7)　 　j = (β3γω2 + β2γω + βγ - β2ω2 - βω)c (8)　j-g = β2γ(α-ω)(β-ω)(γ-ω)c (9)　 　s = (α-ω)(β-ω)(γ-ω)/ ((α-1)(β-1)(γ-1)) とおくと、これは実数であり 　　　j-g = s(e-d) が成り立つ。 (1) d の計算はここ参照 (2),(3),(4) の計算はここ参照 (5) の計算はここ参照 (6),(7),(8) の計算はここ参照 続く　　 一つもどる　　 もどる