If G is a topological group and G is locally compact at one point, then G is locally compact everywhere.
Якщо G це топологічна група та G локально компактна в одній точці, тоді G локально компактна всюди.