Carathéodory Extension Theorem