Differentiable Structure Contains Unique Maximal Atlas

Theorem
Let $M$ be a topological space.

Let $k$ and $d$ be natural numbers.

Let $S$ be a $d$-dimensional differentiable structure of class $C^k$ on $M$.

Then $S$ contains a unique maximal $C^k$-atlas.