>>187の後半に、わたしが付け足した部分にも誤りがある。
P(AV(e)^n)=P(A)P(V(e))^n/p^n が成立する。ここまではいい。
しかし、P(AW(e))=∪_{n=0}^{∞}P(AV(e)^n) の右辺の集合は
重複があるので、P(AW(e))=Σ_{n=0}^{∞}P(AV(e)^n)とするのは
やはり誤り。結局、重複をなくした上で、確率の積への分解を
用いるためには、Aという集合を修正して abへの「初到達」の集合
A_0に限定する必要がある。そうすればそれは P(W0)/P(W(e))
に等しいという結果が正当化されるが、それは初到達集合A_0に
対する、P(A_0)/P(A_0 W(e))の値に過ぎない。

だから、初回帰集合Vだけで話が済むわけではない。
これはむしろ、W(z)の公式を求めるのに必要な集合。