Uma prova matemática