概率论几何分布无记忆性的证明过程