La declaración precisa es la siguiente: