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