Theorem22.2 The singular values of \(A\) are the square roots of the eigenvalues of \(A^\star A\text{.}\)