El primero de ellos dice lo siguiente: