Divisor Relation is Transitive

Theorem
The divisibility relation is a transitive relation on $\Z$, the set of integers.

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