for TG being TopologicaladdGroup st TG is Abelian holds
left_uniformity TG = right_uniformity TG