théorème de Beatty