A AT não apresentou provas que sustentem qualquer correcção aritmética, desconsiderando a presunção de veracidade da contabilidade da impugnante e não cumprindo o ónus da prova que sobre ele impendia, como não apresentou indícios fortes que justificassem a determinação da matéria colectável da impugnante através de métodos indirectos.