Divisor is Reciprocal of Divisor of Integer

Theorem
Let $a, b, c \in \N$.

Then:
 * $b = \dfrac 1 c \times a \implies c \mathop \backslash a$

where $\backslash$ denotes divisibilty.

Proof
Let $a$ have a part $b$.

Let $c$ be a number called by the same name as the part $b$.

Then:
 * $1 = \dfrac 1 c \times c$

and so by :
 * $ 1 : c = b : a$

Hence the result.