>>13 つづき

始まりは下記から。定理1.7と関連の系1.8の証明のPDFが、下記リンクからダウンロードできる
（引用開始）
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/594
＜422に書いた定理＞
594 名前：１３２人目の素数さん[sage] 投稿日：2017/12/12(火) 17:31:09.14 ID:14lo33mI [4/9]
以下の pdf に証明を書いた。

ttps://www.axfc.net/u/3870548?key=Lipschitz

なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度

「内点を持たない閉集合」

という言葉に置き換えた。
(引用終り)