Dicho de otro modo, un código detecta formula_2-errores si y solo si la distancia de Hamming mínima entre cualesquiera dos palabras en él es a lo menos formula_6.