�@　(1+ac)p = a + c �A　(1+bd)p = b + d �F　g +abg = a + b �G　g +cdg = c + d �H　ab -cd ≠ 0 　g + g = 2/p 　を示す (ab-cd)g = a+b-c-d (ab-cd)e = ab(c+d)-cd(a+b) より (ab-cd)(e+g) = a(1+bd)+b(1+ac)-c(1+bd)-d(1+ac) = (a-c)(1+bd)+(b-d)(1+ac) 従って p(ab-cd)(e+g) = (a-c)(b+d)+(b-d)(a+c) = 2(ab-cd) ゆえに 　g + g = 2/p 戻る　　 一つ戻る