Аннотация: Education researchers often cite a statement from Anatole France: "An education isn't how much you have committed to memory, or even how much you know. It's being able to differentiate between what you know and what you don't." In this paper, we show how this statement can be transformed into an exact theorem.