Soit une variété topologique, et soient et deux atlas différentiables de classe sur .
Montrer que et sont compatibles si et seulement si leur réunion est un atlas différentiable de classe sur .

Soit une variété topologique, et soient et deux atlas différentiables de classe sur .
Montrer que et sont compatibles si et seulement si leur réunion est un atlas différentiable de classe sur .