>>121
>P(W(e)aW(e)b)/P(W(e)aW(e)bW(e))=P(W0)/P(W(e))

より詳しく見たら、ここに問題があるのではないかとのこと。
簡単のため、W(e)aW(e)b=Aとおくと、これは
P(AW(e))=P(A)P(W(e))/P(W0) と分解しているが、ここが問題。
なぜなら、集合 AW(e) をAとW(e)の積に分解する仕方が一意的ではないから。
W(e)のかわりに、原点に1度だけ帰還する、初帰還ウォークV(e)を
導入すると、P(AV(e))=P(A)P(V(e))/p(=W0)が成立する。
同様に、P(AV(e)^n)=P(A)P(V(e))^n/p^n,
ゆえに、P(AW(e))= P(A)Σ_{n=0}^∞ P(V(e))^n/p^n=P(A)/(1-P(V(e))/p).
P(A)/P(AW(e))=1-P(V(e))/p.