Assertion: hamming distance | /r/HasProperty | least 2k+1
Facets:
Source sentences:
text: In other words, a code is k-errors correcting if, and only if, the minimum Hamming distance between any two of its codewords is at least 2k+1.