Lebesgue%27s decomposition theorem