Some pedagogical aspects of proof