Mercer's theorem — theorem