Mas o que são correcções aritméticas para a AT e para o Tribunal a quo no ano de 2009 no contexto do Relatório inspectivo da Autoridade Tributária que considerou não credível a Contabilidade da empresa?