Talk:Ring Element is Zero Divisor iff not Cancellable

I could be wrong, but isn't this proof incomplete? Don't we need to prove the reverse implication? --iateawalrus (talk) 1:13, 14 February 2023 (UTC)

But we do. I have clarified the proof by adding the assumption in force in both parts of the proof.