Divisor Relation is Antisymmetric

Theorem
Divides is a antisymmetric relation on $\Z_{>0}$, the set of positive integers.

That is:
 * $\forall a, b \in \Z_{>0}: a \divides b \land b \divides a \implies a = b$

Proof
Let $a, b \in \Z_{> 0}$ such that $a \divides b$ and $b \divides a$.

Then:

If we restrict ourselves to the domain of positive integers, we can see:


 * $\forall a, b \in \Z_{>0}: a \divides b \land b \divides a \implies a = b$