El texto oficial dice lo siguiente: