若a=b 则a+c=b+c 将下列命题改为用如果...那么表示