In the text I asserted that the first-order corrections to an n-fold degenerate energy are the eigenvalues of the W matrix, and I justified this claim as the "natural" generalization of the case n=2. *Prove* it, by reproducing the steps in Section 7.2.1, starting with
ψ0=j=1∑nαjψj0
(generalizing Equation 7.17), and ending by showing that the analog to Equation 7.27 can be interpreted as the eigenvalue equation for the matrix W.