Por el Teorema de Mercer, el operador integral "T" correspondiente que actúa en L["a","b"] (relativo a la medida de Lebesgue en ["a","b"]) tiene una base ortonormal de vectores propios.