theorem Th40: :: TOPREALB:40

for a, b being Real
for d being set st d in IntIntervals (a,b) holds
CircleMap .: d = CircleMap .: (union (IntIntervals (a,b)))