Description: The absolute value of an integrable function is integrable. (Contributed by Mario Carneiro, 25-Aug-2014)