A theorem on the existence of a
reproducing kernel in a separable Hilbert space of functions is proved. As an
application of this theorem, a method of interpolation of the functions in a separable
Hilbert space with a reproducing kernel is given. This method is used to construct
the elements of the Hilbert space generated by a second order stochastic process, in
case this space is separable.