предполагалось

Достаточное условие сходимости накладывает Наибольший Общий Делитель (НОД), что и требовалось доказать.

Вектор проецирует сходящийся ряд, как и предполагалось. Дисперсия продуцирует предел функции, как и предполагалось.