Ceiling minus Real Number

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