The weight of is
The weight of a Linear Code is the minimum weight of a nonzero codeword.

Lemma

The Minimum distance of a code Linear Code is the minimum weight of a nonzero codeword.

Proof

Let

Note that and are distinct so