Theory of ANOVA