Given two distributions and on
the total variation distance is defined as:

Lemma

If then

Proof