If K(t) is a compact, selfadjoint operator function of a real variable t with distinct eigenvalues at each t, we show that the eigenvalues and eigenvectors are absolutely continuous and that { K(t)} ...