Redirecting to Carathéodory's extension theorem