E, assim sendo, tendo os impugnantes provado o excesso na quantificação, a sentença recorrida deveria ter anulado o acto na totalidade, valorando-se a favor do contribuinte as dúvidas fundadas que subsistam sobre a quantificação da matéria tributável, inclusivamente as que se gerem sobre os pressupostos da utilização de tais métodos, o que está em consonância com a repartição do ónus da prova nesta matéria, expressamente estabelecido para o procedimento tributário.