# Locally connected and no proper open subgroup implies connected

From Groupprops

## Contents

## Statement

Suppose is a topological group that is locally connected and has no proper open subgroup. Then, is a connected topological group.

## Facts used

## Related facts

## Proof

The proof follows directly from Fact (1).