On the picture shown below, a proof of the iterated conditioning property of conditional expecta-tions is given. Clean up his proof by replacing the powers of p and q in it with appropriate conditional probabilities.After you have done this, the resulting proof should look like a proof of the law of total expectation for En, with the conditioning variable being the tuple of coin flips (?n+1, . . . , ?m).

\f