We fix two orthonormal families $u = (u_1, \ldots, u_p)$ of vectors of $V$ and $u^{\prime} = (u_1^{\prime}, \ldots, u_p^{\prime})$ of vectors of $V^{\prime}$ satisfying the conditions of question (1).
Show that if $\operatorname{dim}(V \cap V^{\prime}) \geqslant 1$, then $u_k = u_k^{\prime}$ for all $1 \leqslant k \leqslant \operatorname{dim}(V \cap V^{\prime})$.