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