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