由a*b=b*a可推出a=b,证明a*b*c=a*c