Things which coincide are equal.

Things which coincide are equal.