Ceiling of Number plus Integer

Theorem

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

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

Also see

 * Floor of Number plus Integer