El conjunto {d(p, a) : a ≠ p} es un conjunto finito.