Fixed_points_of_isometry_groups_in_Euclidean_space loading ...