Perturbation diagonal within a degenerate eigenspace
= Perturbation diagonal within a degenerate eigenspace
If the perturbation is already diagonal in a basis of a degenerate eigenspace, those basis vectors receive its diagonal entries as first-order shifts.