From the definition of an abstract polytope, it can be proven that there is a unique flag differing from Ψ by a rank i element, and the same otherwise.
Из определения абстрактного многогранника можно доказать, что имеется единственный флаг, отличный от Ψ только одним элементом ранга i и тот же самый в остальном.