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 …