théorème de Niven