Exercise 10, § 2

If $a$ and $b$ are two elements of E such that $ba$ is left cancellable, show that $a$ is left cancellable. Deduce that under an associative and commutative law on E the set S of non-cancellable elements of E is such that $ES \subset S$ (and in particular is stable).