19 3 Não nos ocupámos da manifesta conclusividade que encerra a matéria levada aos factos não provados sob o n 10 – patente juízo conclusivo, pois que dispensa as operações implicadas pela aplicação da teoria da diferença, estabelecida como critério indemnizatório no art.