15 - Na verdade, foram os elementos informáticos obtidos pela AT no âmbito da acção inspectiva externa aos exercícios de 2005 e 2006 que serviram de fundamentação às correcções efectuadas à matéria tributável do exercício de 200 16 – Com efeito, ao contrário do que considera o Ilustre Representante da Fazenda Pública, o procedimento de inspecção aqui em causa não visou apenas a mera análise sobre a correcção formal dos mapas que continham informação sobre o primeiro semestre de 2007, constantes nos ficheiros da folha de cálculo em Excel e sua coerência com a declaração apresentada pela impugnante, pois as correcções efectuadas tiveram por base a análise material desses e de outros elementos que chegaram ao conhecimento da Administração Tributária no âmbito da inspecção externa aos exercícios de 2005 e 200 17 - O procedimento de inspecção interno ocorre quando os actos de inspecção se efectuam exclusivamente nos serviços da administração tributária através da análise formal e de coerência dos documentos.