Divisor Relation is Antisymmetric/Corollary

Corollary to Divisor Relation is Antisymmetric
Let $a, b \in \Z$.

If $a \divides b$ and $b \divides a$ then $a = b$ or $a = -b$.