Inconformada, a Recorrente defende que a sentença errou no que respeita à correção aritmética porque equacionou a questão como sendo uma operação sem correspondência na realidade, mas não foi com este fundamento que a AT procedeu à correção impugnada Conclusão.