We discuss the question, why do we do F-tests when analysing ANOVA models? The rest of this lecture is dedicated to proving Cochran's theorem, the main mathematical tool for design of experiments.