x=y不一定成立
因为ax+c=ay+c
同时减去c
ax=ay
此时不一定x=y,因为若a=0,则不论x和y取何值都成立
其他三个都成立
ax=ay前面已得到
两边乘-1
则-ax=-ay
加上m
m-ax=m-ay成立
ax=ay
两边乘2
则2ax=2ay成立