Beatty's theorem