The Measure in Caratheodory's Theorem is saturated

Recall we define mu*, and then talked about mu* restricted on M* (collection of mu* measurable set and it is a sigma algebra). Here we prove it is a saturated measure on M*.