Su enunciado es el siguiente: