Ceiling of Number plus Integer

Theorem

 * $\forall n \in \Z: \left \lceil {x} \right \rceil + n = \left \lceil {x + n} \right \rceil$

where $\left \lceil {x} \right \rceil$ denotes the ceiling of $x$.

Also see

 * Floor of Number plus Integer