Carath%C3%A9odory%27s existence theorem