(4)　　 r = (β3γ + β2γ + βγ - β2 - β)c (7)　 　q = (βω2 + β2γω + β3γ2 - βγω2 - β2γ2ω)c より。 　(r - q)/c = β3γ + β2γ + βγ - β2 - β 　　　　　　　　 βω2 - β2γω - β3γ2 + βγω2 + β2γ2ω 　　　= β( β2(γ - γ2) + β(γ - 1 - γω + γ2ω) 　　　　　　　　γ - 1 - ω2 + γω2) 　　　= - β(γ - 1)( β2γ - β(1 + γω) + ω) 　　　= - β(γ - 1)(βγ - 1)(β - ω) 　　　= - β(γ - 1)(βγω3 - αβγω2)(β - ω) 　　　= β2γ(α - ω)(β - ω)(γ - 1) を得る。