Divisor Relation is Transitive/Proof 2