Theorem

Let $\mathbf{A}$ be a $k\times k$ matrix of real elements. If $\mathbf{A}$ is symmetric and positive semidefinite (respectively definite) then all of its eigenvalues are nonnegative (respectively positive).