Floor of Number plus Integer

Theorem

 * $\forall n \in \Z: \left \lfloor {x} \right \rfloor + n = \left \lfloor {x + n} \right \rfloor$

where $\left \lfloor {x} \right \rfloor$ denotes the floor of $x$.