Pemeriksaan D.1. Tugas Hamming 1: membuktikan aksioma metrik.
Buktikan bahwa fungsi \(d_H\) pada \(X^n\text{,}\) dengan \(X=\{0,1\}\text{,}\) benar-benar merupakan metrik. Rubrik: tangani tak-negatif, identitas titik, simetri, dan pertidaksamaan segitiga; jangan mengganti bukti umum dengan satu contoh numerik.