Построение счетной системы понятий бескоалиционного равновесия

Показывается, что на базе всего трех типов некооперативных равновесий возможно построение счетной системы иерархически связанных различных понятий равновесия, причем в любой игре всегда существует (по крайней мере, с любой заданной точностью $\varepsilon$) хотя бы одно равновесие из этой системы и всегда может быть найдено наиболее сильное из существующих равновесий.