Định lý mở rộng của Carathéodory