Category:Divisor Relation is Transitive