Exercise 1, § 3

On a topological group $G$, the right uniformity is the only uniformity compatible with the topology of $G$ which has a fundamental system of entourages each of which is invariant under all translations