Proposition 5
Tag 0BZB, permanent. Cite it as [Bourbaki, Tag 0BZB].
General Topology, chapter VII, § 2. Continuous homomorphisms of $\mathbf{R}^n$ and its quotient groups
Every isomorphism of the topological group onto one of its subgroups is an automorphism of which is obtained by passing to the quotient from a linear mapping of onto itself which, restricted to , is an automorphism of .
Equivalently (§ 1, no. 1), if , the must be integers such that . In particular, for :
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.