Every principal submatrix of a kernel matrix is positive semidefinite, so
The Cauchy-Schwarz inequality for integrals therefore gives
Thus every entry of is well defined. For any finite coefficients and points , linearity of the integral gives
because the integrand is nonnegative. Hence is a positive-semidefinite kernel. This proves the integral closure of positive-semidefinite kernels.