E, por outro lado, se o Juiz do Tribunal a quo dá como factos provados todos os documentos da contabilidade junto aos autos, que comprovam as transações entre a Impugnante e os seus fornecedores, a decisão do Tribunal "a quo" só poderia ter sido de anulação das liquidações adicionais impugnadas.