\sum_{k=0}^{n-1}\left\lfloor x+{k\over n}\right\rfloor=\lfloor nx\rfloor, n\in\mathbb{N}, x\in\mathbb{R}