Description: In a non-zero ring, the zero is not a nonzero-divisors. (Contributed by Thierry Arnoux, 6-May-2025)