Ceiling minus Real Number

Theorem

 * $\forall x \in \R: \left \lceil {x} \right \rceil - x \in \left[{0 \,.\,.\, 1}\right)$

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