Declaramos lo que sigue: