For all a,b,c ϵ B | a+b = a+c -> b = c

Printable View