a+b=a implies that b =0​