Entonces vale: