If is -Error correcting then

(where is the size of the Hamming Ball)

Proof

Since is -error correcting, the Hamming balls are disjoint for so