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.


 * If a (natural) number have any part whatever, it will be measured by a (natural) number called by the same name as the part.

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.