In this paper, we investigate the divisibility of by for given , , and . We give the necessary and sufficient condition for the divisibility, that is, divides . We then present the structure of the set of pairs that satisfies the divisibility. This structure is represented by a directed graph and we prove the necessary and sufficient condition for the graph to have a binary tree structure. In particular, for , we show double binary tree structures on the set.