theorem Th31: :: JORDAN21:31

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