1 A Douta Sentença do Tribunal a quo disserta do ponto de vista da aplicação de métodos correctivos por parte da AT, afirmando, o que já é conhecido, que a AT pode utilizar métodos indirectos e correcções aritméticas em simultâneo e que podem utilizar métodos diferentes em exercícios distintos desde que devidamente justificados.