Prove that $r$ is irreducible if and only if every divisor of $r$ is either a unit or an associate of $r$. Let $R$ be an integral domain, and let $r \in R$ be a non-zero non-unit. Prove that $r$ is irreducible if and only if every divisor of $r$ is either a unit or an associate of $r$.
Proof. ($\leftarrow$) Suppose $r$ is reducible then $r$ can be expressed as $r = ab$ where $a$, $b$ are not units. This contradicts the fact that every divisor of $r$ is either a unit or an associate of $r$.
($\rightarrow$) Suppose every divisor of $r$ is neither a unit nor an associate of $r$. Then $r$ is reducible.
Can someone verify if my proof is correct. However, I prefer a direct proof. This proof doesn't look nice. Can someone show me how I can do this directly?
 A: $\leftarrow$: You say that $a,b$ are not units. You should also mention that they are not associates of $r$.
$\rightarrow$: You should not start with "Suppose every divisor of $r$ is neither a unit nor an associate of $r$" This condition is never fulfilled! Please review how to negate qunators.
Actually, proper techniques of negating quantors would almost immediately show the ful claim.
A: To obtain easy "direct" proofs it is convenient to work directly with divisibility relations, $ $ in particular to rewrite "$a$ is a unit" as $\,a\mid 1.\,$ Then we can use standard divisibility properties such as this property: $ $ if $\,a\mid r\,$ then  $\,r\mid a\color{#c00}{\iff} r/a\mid 1,\,$ by scaling by or canceling $\,a.\,$ Combining this with $\,a\mid r,\ r\mid a\,\Rightarrow\, a,r\,$ are $\,\rm\color{#0a0}{associate},\,$ then it is mechanical to derive all of the common equivalent characterizations of "irreducible", namely:
$\begin{align} r\ \text{is irred}\!\!\overset{\rm def}\iff&\ \ r = ab\,\Rightarrow\, \quad\!a\mid 1\ \ {\rm or}\quad\ \ b\mid 1\quad\text{i.e. iff $\,a\,$ or $\,b\,$ is a unit}\\
\iff&\ \ r = ab\,\Rightarrow\,\quad\! a\mid 1\ \ {\rm or}\ \  r/a\mid 1\\
\color{#c00}\iff&\ \ r = ab\,\Rightarrow\,\quad\! a\mid 1\ \ {\rm or}\quad\ \ r\mid a\quad\text{i.e. iff every divisor $a$ is a unit or }\color{#0a0}{\rm associate}\\
\iff&\ \ r = ab\,\Rightarrow\, r/b\mid 1\ \ {\rm or}\quad\ \ r\mid a\\
\color{#c00}\iff&\ \ r = ab\,\Rightarrow\, \quad r\mid b\  \ {\rm or}\quad\ \ r\mid a\quad \text{i.e. iff $\,r\,$ is }\,\color{#0a0}{\rm associate\,} \text{ to $\,a\,$ or $\,b\,$}\\
\text{compare to } &\ \ r\,\mid\, ab\:\Rightarrow\, \quad r\mid b\  \ {\rm or}\quad\ \ r\mid a\quad\text{i.e. definition of $\,r\,$ is prime}
\end{align}$
Note that the final form makes trivial the deduction that primes are irreducible, namely
$\qquad\ \ r = ab\,\Rightarrow\, r\mid ab\overset{r\ \text{is prime}}\Rightarrow\ r\mid b\ \ {\rm or}\ \ r\mid a\,\Rightarrow\, r\,$ irreducible by the final form of irred
