主張X,Yは独立にゼータ分布に従うものとする．つまりとする．このとき(gcdは最大公約数)とすると，となる．[D.Williams: Probability with martingales, p226] 証明とすると， 達は独立．何故ならばであるため．これよりとなる．次に つまりX,Yが互いに疎に…