it turns out that non-atomic measures actually have a continuum of values. it can be proved that if μ is a non-atomic measure and "a" is a measurable set with formula_17 then for any real number "b" satisfying