It would be nice to have a good reference for the main result, in particular for functions that are only *locally* of bounded total variation. I did not see the result in this generality in the reference given. Petrusgr (talk) 20:51, 13 October 2019 (UTC)Reply