Sometimes also called Mercer's Theorem.
References
Gradshteyn, I. S. and Ryzhik, I. M. Tables of Integrals, Series, and Products, 5th ed. San Diego, CA: Academic Press, p. 1101, 1979.