Carathéodory's lemma