chapter 7 (7.1 and 7.2) eigenvalue sums