Let be a Source of Independent identically distributed Random Variables
with variance and mean .
Define
Then for large :
Note
Letting
we find that the mean of is and the variance is .
Thus has mean and variance .
The theorem says that moreover is normal.