Ceiling minus Real Number

Theorem

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