Demostrar teoremas es un asunto central en la matemática.