E, por outro que, se a obrigação tiver por fonte um contrato bilateral, como é o caso vertente, independentemente do direito à indemnização, pode o credor resolver o contrato e, se já tiver realizado a sua prestação, exigir a sua restituição por inteiro artigo 801, n. 2, do Código.