theorem :: TOPREALB:35

for r being Real st frac r = 1 / 4 holds
CircleMap . r = |[0,1]|