theorem Th19: :: CHAIN_1:22

for Gi being non trivial finite Subset of REAL
for li, ri, li9, ri9 being Real st ri < li & [li,ri] is Gap of Gi & ri9 < li9 & [li9,ri9] is Gap of Gi holds
( li = li9 & ri = ri9 )