根据a=b,a=c,推出b=c,理由是