Ou seja, resultou provado que essas ajudas de custos estavam contidas no preço contratado, o que tanto basta para que se entenda que as ajudas de custos foram faturadas ao cliente, não havendo lugar a aplicação do disposto no art. 4, n. 1, alínea do CIRC, e, portanto, a correção não se poderá manter.