Factors of Binomial Coefficient

Theorem
For all $r \in \R, k \in \Z$:
 * $k \dbinom r k = r \dbinom {r - 1} {k - 1}$

where $\dbinom r k$ is a binomial coefficient.

Hence:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$ (if $k \ne 0$)

and:
 * $\dfrac 1 r \dbinom r k = \dfrac 1 k \dbinom {r - 1} {k - 1}$ (if $k \ne 0$ and $r \ne 0$)

Proof
If $k = 0$ then $\dbinom r k = r \dbinom {r - 1} {k - 1} = 0$ by definition.

Otherwise:

If $k \ne 0$, we can divide both sides of:
 * $k \dbinom r k = r \dbinom {r - 1} {k - 1}$

by $k$ to obtain:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$

If $k \ne 0$ and $r \ne 0$, we can divide both sides of:
 * $\dbinom r k = \dfrac r k \dbinom {r - 1} {k - 1}$

by $r$ to obtain:
 * $\dfrac 1 r \dbinom r k = \dfrac 1 k \dbinom {r - 1} {k - 1}$