О конечности дискретного спектра оператора энергии отрицательных атомарных и молекулярных ионов

Пусть $H$ – оператор энергии атома с $n$ электронами при учете движения ядра или оператор энергии $n$ электронов в поле $n_0$ неподвижных ядер. Доказывается, что в пространстве функций, определяемом произвольным неприводимым представлением группы симметрии $H$, число дискретных собственных значений $H$ не может быть бесконечным, если суммарный заряд рассматриваемой системы меньше –1 (в атомных единицах). Ранее аналогичный результат был известен лишь для $n=2$.