Concluímos, portanto, por força do previsto no art. 808 do Civ., que é definitivo o incumprimento do R. e, como tal, é legítimo o pedido dos AA. de que seja declarado resolvido o contrato celebrado entre AA. e R., o que aqui se declara, desde já.