CircleMap . (R^1 0 ) = c[10] by Th33;
hence ( Circle2IntervalR is one-to-one & Circle2IntervalR is onto ) by Th43, GRCAT_1:56; :: thesis: Circle2IntervalR is continuous
thus Circle2IntervalR is continuous by Lm46; :: thesis: verum