Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/ii/paper-2/29j/a/solution

Assume is invertible. Put
This and are jointly multivariate normal, with and . Their joint Gaussian characteristic function factors when the cross covariance vanishes, so they are independent. Conditioning on therefore leaves the law of unchanged, proving

New to topics? Read the docs here!