Completion of the Proof of Proposition 4 in "Interim Correlated Rationalizability"