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成立