Theorem. The code is -error correcting if and only if its minimum distance is or greater.
For the direction we suppose for contradiction that the minimum distance is . So then . Now . Also . But from this we cannot conclude that right?
Theorem. The code is -error correcting if and only if its minimum distance is or greater.
For the direction we suppose for contradiction that the minimum distance is . So then . Now . Also . But from this we cannot conclude that right?