Petunjuk. Tiga aksioma diwarisi langsung; untuk jarak nol, ubah kesamaan citra menjadi kesamaan masukan.