In this part, we consider two real symmetric matrices $A, B \in \mathcal{S}_{n}(\mathbb{R})$ and their sum $C = A + B$. We denote by $a = s^{\downarrow}(A)$, $b = s^{\downarrow}(B)$ and $c = s^{\downarrow}(C)$. We denote by $\mathcal{R}_{j}$ the set of orthonormal families of cardinality $j$ in $\mathbb{R}^{n}$.
Conclude that for every integer $1 \leqslant j \leqslant n$
$$\sum_{i=1}^{j} c_{i} \leqslant \sum_{i=1}^{j} a_{i} + \sum_{i=1}^{j} b_{i}.$$