No ICMS-ST progressivo, o contribuinte-substituído também tem legitimidade ativa ad causam para pleitear a declaração de inexistência da relação jurídica tributária.