El enunciado preciso del problema es el siguiente: