for G being TopologicalGroup holds G is regular