for r being Real holds cLoop r = CircleMap * (ExtendInt r)