If a=b and b=c, so a=c