18/02/08 22:08:32.06 rfgP69By.net
>>13 つづき
始まりは下記から。定理1.7と関連の系1.8の証明のPDFが、下記リンクからダウンロードできる
（引用開始）
スレ47 ｽﾚﾘﾝｸ(math板:594番)
＜422に書いた定理＞
594 名前：１３２人目の素数さん[sage] 投稿日：2017/12/12(火) 17:31:09.14 ID:14lo33mI [4/9]
以下の pdf に証明を書いた。
URLﾘﾝｸ(www.axfc.net)
なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度
「内点を持たない閉集合」
という言葉に置き換えた。
(引用終り)
つづく