Niven's_theorem