Declaramos lo siguiente: