Su enunciado original es: