(1.2) Z C A∩B.
(1.3) MB (I,B)∩Rf=I,
where I = (Ли ({ж} U £>)) ∖Z and В = (B U ({ж} U D)) ∖Z.
Proof of Claim 1: Since TZf has the property that its minimal cylindric
decomposition has a unique section there exits G ∈ TZf and Z ∈ {{ж} , D}
such that ZGG and G = (G U ({ж} U D)) ∖Z TZf. Dehne
^MB(H, Z) = {B ∈ 2κ I E = (B U ({ж} U £>)) ∖ZforE ∈ MB (H, Z)GTZf}
Denote ^Z = xAZ = Doτ^z=DAZ = x. Because G ∈ MB (G. Z) ∩
7⅞, then G ∈ ^MB (G, Z). Since G ¢ MB (G, ~ Z) Γ∖TZf then ^MB (G, Z) £
MB (G,~ Z) ∩ TZf . Let B be the element in the range with minimal
Li-distance to Z with the property that MB (B, Z) MB (B, ~ Z) GTZf .
This implies that
^MB(B,Z)∖B = MB(B,{~Z}) Γ∖TZf. (7)
Let A ∈ MB (B, Z) ∖B be such that MB (A, B) = {A, B}. Condition (??)
implies that A ∈ TZf and MB (A, B) ∩ TZf = A. This proves the Claim.
Let A, B ∈ TZf and Z ∈ {{ж} ,D} be such that conditions (1.1), (1-2),
and (1.3) of Claim 1 hold. Then we can generate, by an additive preference
with top on A U {~ Z}, the orderings A >∙ l B >∙ l A, A >2 A >~2 B, and
ʃl >- 3 ʃl >- 3 B, by an additive preference with top on BU{~ z}, the orderings
B>' A>' A and BM AM A, and by an additive preference with top
on B, the ordering A >∙6 B >∙6 A. Therefore, we have a free-triple on the
elements of the range A, B, and A, implying that here exists i ∈ N such that
w™ = wy = {{i}}.
Case 2: Assume that for every D ∈ TZf such that у ∈ D, there exists BAD
such that B ∈ MB (D, 0) ∩ TZf.
26