Stav dette: Theorems in School: from History, Epistemology and Cognition to classroom practice