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