Divides is Reflexive

Theorem
"Divides" is a reflexive relation on $\Z$, the set of integers.

Proof

 * $\forall n \in \Z: n \mathop \backslash n$ from Every Integer Divides Itself‎.