Oscar_Cunningham comments on Looking for proof of conditional probability