Julgada procedente e transitada em julgada a sentença declaratória em ação para repetição do indébito, o contribuinte