D Hilbert + E Schmidt 1907 IE-eigenvalue theory; modern compact-self-adjoint-operator spectral decomposition.