Пенсия работающим пенсионерам.

Прочитал недавнюю новость о том, что работающим пенсионерам не положена в этом году индексация пенсий и задумался. А когда работающий пенсионер все-таки решит уйти с работы, ему будет возвращена утерянная ранее индексация?
Допустим есть одногодки: пенсионер Вова и пенсионер Дима. Обоим по наступлению 60 лет полагается пенсия. Для простоты расчета начальная ставка 10000р. А ежемесячная индексация от государства 5%. Но если Дима решил уйти на пенсию и заняться внуками, то Вова продолжит работать за те же 10 000р в месяц. Заглянув в будущее скажу, что Вова проработает 7 лет, до наступления 67-летия. Первое время Вова живет лучше Димы, его месячные поступления равны 20 000р, против 10 000р Димы. По началу… Но государство, в котором им посчастливилось жить, решило, что времена тяжелые и пенсии работающих пенсионеров индексации не подлежат.

А дальше два варианта развития событий:
а) Когда в 67 лет Вова закончит работать, его пенсия разово проиндексируется и станет такой же как у Димы к тому моменту(а у него она росла на 5%  каждый год).
б) Когда в 67 лет Вова закончит работать, его пенсия будет такой же, как и была все эти «неиндексируемые» годы и продолжит расти (по условию задачи на 5% в год) начиная с этой низкой базы.

В первом случае у меня вопросов нет.
Во втором же случае, к 80 годам общий их накопленный за 20 лет доход сравняется. И размер пенсии Вовы уже никогда не будет таким же большим, как у Димы.

Кто-нибудь знает, какой вариант верный а или б?