³ This is the same as saying the eigenfunctions are complete.