Zaslat SMS: Theorems in School: from History, Epistemology and Cognition to classroom practice