Loading...
For all $a, b, c \: \epsilon \: R \: a+c=b+c\Rightarrow a=b$ The name of this property is