theorem Th59: :: TOPGRP_1:60

for G being TopologicalGroup holds G is regular