.. _equals are equal:

Things which are equal to the same thing are also equal to one another
======================================================================