O Tribunal a quo e AT nunca poderiam ter concluído, como fizeram, que a Recorrente teria aplicado o regime dos duodécimos, quando alegadamente estaria obrigada a praticar o método das quotas constantes. Isto porque: o método de amortização concretamente utilizado é uma opção do contribuinte - que pode utilizar, designadamente, o método das quotas constantes, quer seja por via de uma amortização anual, quer por duodécimos, consoante o critério de gestão que no caso entenda mais conveniente; o regime dos duodécimos é uma variante do método das quotas constantes, pelo que a conclusão do Tribunal a quo e da AT carece de qualquer sentido; e a Recorrente nunca sequer aplicou o regime dos duodécimos, como alega a AT, mas sim o método das quotas constantes, através de uma amortização anual, como se pode constatar dos mapas de amortizações e reintegrações, que constituem os documentos n.s 1 a 3 do requerimento junto aos autos em 4/02/2013, de fls. 984 e seguintes.