Integer Divided by Divisor is Integer

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

Then:
 * $b \mathop \backslash a \implies \dfrac 1 b \times a \in \N$

where $\backslash$ denotes divisibilty.


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

Proof
Let $b \mathop \backslash a$.

By definition of divisibilty:
 * $\exists c \in \N: c \times b = a$

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

So by :
 * $1 : b = c : a$

Hence the result.