Text this: Demonstrações em Geometria: alunos de licenciatura, ambiente informatizado e reflexões para a formação do professor de Matemática