theorem about the average probability

[ریاضیات] قضیه ی مربوط به احتمال متوسط