theorem Th30: :: JORDAN21:30

for D being compact with_the_max_arc Subset of (TOP-REAL 2) holds UMP D in D