因为a=c、b=c,所以a=b这叫等式的什么呢