This property states that:

if a = b and b = c, then a = c

*