For , use one nonzero representative from each one-dimensional subspace of as a parity-check matrix column. The rank is ; no zero or proportional columns imply minimum Hamming distance at least three. Two independent columns and the representative of their sum give a weight-three relation, proving equality. Every nonzero syndrome uniquely identifies one column and one nonzero error value.
New to topics? Read the docs here!