Theorem 8.1 The variance of the mean of a systematic sample is
Is the variance among units that lie within the same systematic sample. The denominator of this variance, k(n-1) degrees of freedom to the sum of squares in the numerator.
Proof. By the usual identity of the analysis variance