Извините, нет.
Теорема 118 рассматривает сумму

А в нашем случае надо рассматривать не делители модуля, но разности между вычетами ПСВ.
Если взять за основание

Гильбрайта ПСВ по модулю

и рассмотреть вторую строку

то мы получим последовательность разностей
между вычетами ПСВ.
Только надо иметь в виду, что за последний вычет ПСВ надо считать вычет

т.к. отсчет разностей мы бедем вести, начиная с
1, т.е. должно соблюдаться условие:

То, что сумма всех членов второй строки равна модулю

не вызывает сомнения ?
А теперь сгруппируем разности так, чтобы вначале были одни двойки, затем четверки, и...до

.
Сумма разностей не изменится и будет равна модулю.