блаПостроим <tex>\nu^*</tex> {{-бла-бла-}} внешнюю мера для <tex>(\mu, \mathcal{A})</tex>.Возникает вопрос: "Построили ли мы что-то новое?" {{Теорема|statement=<tex>\mu^*=\nu^*</tex> (повторное применение процесса Каратеодори не приводит нас к новой мере).}}