Carathéodory extension theorem