Suppose that $\scalarlist{\lambda}{k}$ are the distinct eigenvalues of a square matrix $A$ of size $n$. Then \begin{equation*} \sum_{i=1}^{k}\algmult{A}{\lambda_i}=n \end{equation*}