It can always be arranged that degenerate eigenfunctions are orthogonal

• 总可以做到使得简并的本征函数是正交的。