Subcase 1.1.1: Assume B Ç D. Without loss of generality assume that
MB (B U {ж} , {ж}) ∩ TZf = {B U {ж} , {ж}} . Then we can generate, by an
additive preference with top on 0, the orderings D >-' {ж} >- ' B U {ж},
{ж} >■“ Dy^ CU {ж}, and {ж} >-3 В U {ж} >-3 D, by an additive preference
with top on B, the orderings D >’ BU {ж} >~4 {ж} , B U {ж} >-3 {ж} >-3 В,
and BU{x} >∙6 D >-6 {ж}. Moreover, by associating large negative values to
objects outside D U {ж}, we must be able to put these three alternatives at
the tops of the individual orderings. Therefore, we have a free-triple on the
elements of the range D, {ж}, and B U {ж}. Then the Gibbard-Satterthwaite
Theorem implies that there exists i ∈ N such that TV™ = W™ = {{i}}.
Subcase 1.1.2: Assume B = D. Because MB (D U {ж} , 0) ∩ TZf ≠ {{ж} , D}
then D U {ж} ∈ TZf. Then MB (D U {ж} , {ж}) ∩ TZf = {{^} , D U {ж}} ,
MB (D U {ж} , D) ∩ TZf = {D, D U {ж}} . Notice that MB (D, ⅛)Γ∖TZf =
{D}. Therefore, using an argument similar to the one already used in the
proof of Subcase 1.1.1, we have a free triple on elements of the range D.{x}
and D U {ж}, and again, the Gibbard-Satterthwaite Theorem implies that
there exists i ∈ N such that TV™ = TV™ = {{i}}.
Subcase 1.2: Assume MB (D U {ж} , 0) = {{ж} , D} .
Subcase 1.2.1: There exists C ∈ TZf, such that C ∩ (D U {ж}) ¢ {{ж} , D} .
Let C = C∏Di) {ж} and without loss of generality assume MB {C,, C,} ∩
TZf = C. Since MB {C, {ж}} ∩ TZf = {ж} and MB {C, D} Γ∖TZf = {D} we
have a free triple on elements of the range D, {ж} and C, implying that there
exists i ∈ N such that TV™ = TV™ = {{i}}, because у ∈ D.
Subcase 1.2.2: For all C ∈ TZf, C ∩ D U {ж} ∈ {{ж} , D} .
Claim 1 Assume that for all C ∈ TZf either {ж} Ç C or D Ç C. Then,
there exists A, B ∈ TZf and Z ∈ {{ж} , D} such that:
(1.1) MB (A, B) ∩ TZf = {A, B} .
25