theorem Th11: :: PSCOMP_1:11

for T being TopStruct
for f being RealMap of T st f is continuous & not 0 in rng f holds
Inv f is continuous