Floor Function is Replicative

Theorem
The floor function is a replicative function in the sense that:


 * $\ds \forall n \in \Z_{> 0}: \sum_{k \mathop = 0}^{n - 1} \floor {x + \frac k n} = \floor {n x}$