CircleMap . (R^1 0 ) = c[10] by Th33;
hence CircleMap (R^1 0 ) is open by Th43, TOPREALA:35; :: thesis: verum