Como bem decidiu o douto acórdão recorrido a resolução da Ré não pode operar se o contrato já se encontrava extinto por verificação da condição resolutiva, pelo que não merece o acórdão recorrido qualquer reparo.