Comment by quilletteThrow

There are different notions of variability used in the paper, and he is showing one is equivalent to the other. It doesn't seem ridiculous to me to include the proof, even though it is simple. Lots of simple proofs are included in papers and books.