Divisor Relation is Transitive/Proof 1

Theorem
"Divides" is a transitive relation on $\Z$, the set of integers.

That is:
 * $\forall x, y, z \in \Z: x \mathop \backslash y \land y \mathop \backslash z \implies x \mathop \backslash z$

Proof
We have that Integers form Integral Domain.

The result then follows directly from Divisor Relation in Integral Domain is Transitive.