Se, como será o caso, no final, concluirmos que o crédito restitutório da R. supera a quantia que o A. tem gastar para concluir a obra, resultará apenas, pela teoria da diferença, que o A. não tem qualquer prejuízo e, por conseguinte, que a R. não tem que indemnizar o A..