Prove Partial Ordering on Divisibility Relation