Carathéodory’s theorem