" - A ma Juiz a quo considerou não se encontrarem preenchidos os pressupostos para tributação por métodos indirectos, considerando que a administração fiscal não provou, como lhe competia, a verificação dos pressupostos da tributação;