El enunciado es: