Existence theorem for the bargaining set 𝑀₁^{(𝑖)} · Study