Hamming distance

Let . The Hamming distance between and is

Lemma

The Hamming distance is a metric of

Proof

just check, its not that deep.