Transitive property of equality