# ANOVA and the F distribution

Boot20
Hello all,

Does anyone know where I could find a formal proof that

$$\frac{\text{MS between}}{\text{MS within}}$$

has a F distribution under the null in ANOVA?