theorem Th10: :: BROUWER3:10

for n being Nat
for p being Point of (TOP-REAL n)
for A, B being Subset of (TOP-REAL n) st A is closed & p in Fr A holds
for h being Function of ((TOP-REAL n) | A),((TOP-REAL n) | B) st h is being_homeomorphism holds
h . p in Fr B