SEARCH Articles Figures Tables Eigenfunction Nondegenerate Proof That Nondegenerate Eigenfunctions of a Hermitian Operator Form an Orthogonal Set