Divisor Relation is Antisymmetric/Corollary/Proof 2

Proof
Let $a \divides b$ and $b \divides a$.

Then by definition of divisor:
 * $\exists c, d \in \Z: a c = b, b d = a$

Thus: