theorem Th21: :: JORDAN22:21

for C being Simple_closed_curve
for n being Nat st 0 < n holds
UMP (L~ (Cage (C,n))) = UMP (Upper_Arc (L~ (Cage (C,n))))