Floor of Number plus Integer

Theorem

 * $\forall n \in \Z: \floor x + n = \floor {x + n}$

where $\floor x$ denotes the floor of $x$.

Also see

 * Ceiling of Number plus Integer