Declara lo siguiente: