Function of bounded variation, properties of function of bounded variation