1: \begin{proof}[Rigorous Proof of Theorem \ref{thm:new}]

2: By Theorem \ref{thm:limit-theorem}, the limiting eigenvalue distri\-butions

3: of the matrices $\F_n^{(0)}$ and $m^{-(l+1)/2} (\F_n^{(1)}+\cdots+\F_n^{(m)})$

4: in Theorem \ref{thm:new} are given by 

5: $$

6: \myh\Big(\myq^{-1}(\gamma_1^{-1} \boxtimes \gamma_1^{\boxtimes l})\Big)

7: \quad\text{and}\quad

8: \myh\Big( \myd_{m^{-(l+1)/2}} (\myq^{-1}(\gamma_1^{-1} \boxtimes \gamma_1^{\boxtimes l}))^{\boxplus m} \Big) \,,

9: $$

10: respectively. 

11: Now, similarly as in the formal proof of Theorem \ref{thm:new}, 

12: we find that

13: $$

14: \myq^{-1}(\gamma_1^{-1} \boxtimes \gamma_1^{\boxtimes l}) = \sigma_s(\tfrac{2}{l+1})

15: $$

16: by comparing the $S$-transforms of the two measures,

17: which concludes the proof.

18: \end{proof}

19: