a=b,b=c,推出a=c像这样的是什么法则?