The transitive property of equality states that:

if a = b, then b = a
if a = b, then ac = bc
if a = b and b = c, then a = c
if a = b and c = c, then a + b = b + c