Carathéodory's theorem (measure theory)