Theorems in School (From History, Epistemology and Cognition to Classroom Practice)