Cartan's lemma