Divisor Relation is Antisymmetric/Corollary/Proof 1

Proof
Let $a \mathrel \backslash b$ and $b \mathrel \backslash a$.

Then from Divisor Relation is Antisymmetric:
 * $\left\vert{a}\right\vert = \left\vert{b}\right\vert$

The result follows from Integer Divides its Negative and Integer Divides its Absolute Value.