>>47
「現代数学」12月号の大沢建夫先生の記事にNivenによる証明が載っていました。
https://doi.org/10.1080/00029890.1971.11992740