Lebesgue%27s decomposition theorem#Refinement