Variation function, characterization of variation function, theorems