Divisor Relation is Transitive/Proof 1

Proof
We have that Integers form Integral Domain.

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