The two rank-one operators have orthogonal ranges. Their Hilbert-Schmidt inner product is zero, while , so the Hilbert-Schmidt distance between covariance operators is
For each , the positive square root of an operator is . Orthogonality therefore gives the square-root distance between covariance operators
Finally , so every singular value in the Procrustes cross-term vanishes. Hence