is mentioned by

Thm* x:, n:. (n | x) (x mod n) = 0	[elim_divides]
Def DivGraph_1 == Graph(i,j:. i | j)	[divides-graph1]

In prior sections: num thy 1

Try larger context: Graphs