到达时间间隔分布定理划线部分如何由上一部得出的?请详细说明.