概率论卷积公式证明:什么是dll重名