Assim para se decidir como decidiu e obter a pretendida resolução impunha-se que a recorrente tivesse provado que as rés estavam em mora e que, por força desta, desaparecera o seu interesse na manutenção do contrato, ou então que a convertera incumprimento definitivo, nos termos que se assinalaram art 342, n. 1, do, facto que não foi alegado nem resultou dado como provado na sentença.