En esta comunicacion breve se presentan algunos avances de los resultados de una investigacion sobre la Negociacion de Significados de la Demostracion por profesores de Calculo de una universidad colombiana. Estos avances se refieren a las presentaciones de demostraciones dadas por los profesores participantes de la investigacion. Una de esas presentaciones de demostraciones es una prueba pre-formal de un teorema en el Calculo Diferencial. La metodologia de este estudio es cualitativa, bajo un enfoque fenomenologico-hermeneutico.