The first part of the theorem follows from Theorem 2 in [1]} (where we take \(\Sigma _T=I_T\) ) and the classical Marchenko-Pastur theorem for \(\mathbf {x}_p\)  having i.i.d. Gaussian entries. The second part of the theorem follows from Theorem 1.1 in [2]}.
