Prove that the decoder described for the hamming code in the class (slide 61), can correct one bit errors.