theorem Th68: :: JORDAN2C:84

for n being Nat ex f being Function of (TOP-REAL n),R^1 st
( ( for q being Point of (TOP-REAL n) holds f . q = |.q.| ) & f is continuous )