We are given a matrix $S \in \mathbf{S}_n$, an angle $\theta \in \left]-\frac{\pi}{2}, \frac{\pi}{2}\right[$ and integers $1 \leqslant p < q \leqslant n$ such that $s_{pq} \neq 0$. We define $S' = {}^t R_{p,q}(\theta) S R_{p,q}(\theta)$ and denote its coefficients by $s_{ij}'$.
By calculating $\left(s_{qq}' - s_{pp}'\right)^2 - \left(s_{qq} - s_{pp}\right)^2$, show that
$$\left|s_{qq}' - s_{pp}'\right| \geqslant \left|s_{qq} - s_{pp}\right|$$