En otras palabras, un código corrige formula_2-errores si y solo si la mínima distancia de Hamming entre cualesquiera dos de sus palabras es por lo menos formula_16.