Qual propriedade afirma que se # a = b e b = c #, então # a = c #?

A propriedade transitiva da igualdade nos diz que, se

#a=b, b=c,# então segue que #a=c.#