Ceiling minus Real Number

Theorem

 * $\forall x \in \R: \ceiling x - x \in \hointr 0 1$

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