Se cumple lo siguiente: