f is simple function on e. e is disjoint union of subsets e₁, ...eₙ show that f is measurable iff e₁, e₂, ....eₙ are measurable