Gravar-mail: What teachers think about mathematical proof?