Theorem ‘Covariance Function of a Stationary SP’