Equivalence of Definitions of Compatible Atlases

Theorem
Let $M$ be a topological space.

Let $\mathscr F, \mathscr G$ be $d$-dimensional atlases of class $C^k$ on $M$.