.. _coinciding equals:

Things which coincide with one another are equal to one another
===============================================================