theorem Th52: :: BORSUK_7:62

for r being Real holds eLoop r = SphereMap * (ExtendInt r)