Given a normal distribution with unknown mean "μ" but known variance 1, the sample mean formula_8 of the observations formula_14 has distribution formula_15 while the future observation formula_16 has distribution formula_17 Taking the difference of these cancels the "μ" and yields a normal distribution of variance formula_18 thus