Redirecting to Mercer's theorem