CMIMC 2020 Power Problem 2.5

Prove that the following statements for a code \mathcal{C} are equivalent.

  1. \mathcal{C} has minimum distance at least 2 t+1.

  2. \mathcal{C} can be used to correct t symbol errors.

  3. \mathcal{C} can be used to correct 2 t symbol erasures.