Transitive Property of Equality
If a +5=b+3 and a +5 = 12, then b + 3 =?

b+3=12
because a+5=b+3 and a+5=12 which means b+3 must be 12 as well