Efetivamente, com base no facto provado sob a letra, o Tribunal da Relação ... e o Supremo Tribunal de Justiça concluíram que, perante o não pagamento integral da quantia em dívida, a declaração de resolução se deveria ter por eficaz.