19/01/13 23:21:34.28 YBA+ZVNe.net
>>15 つづき
話の始まりは、スレ46 ｽﾚﾘﾝｸ(math板:422番)-423
（現代数学の系譜 工学物理雑談 古典ガロア理論も読む46）
定理の詳細の始まりは下記から。定理1.7と関連の系1.8の証明のPDF（今は残念ながらリンク切れ）が、下記リンクからダウンロードできる
ｽﾚﾘﾝｸ(math板:594番) より
（引用開始）
＜スレ46の422に書いた定理＞
594 名前：１３２人目の素数さん[sage] 投稿日：2017/12/12(火) 17:31:09.14 ID:14lo33mI
以下の pdf に証明を書いた。
URLﾘﾝｸ(www.axfc.net) ＊）
なるべく行間が無いように、丁寧に証明を書いたつもりである。
なお、「疎な閉集合」は「内点を持たない閉集合」と同じことであるから、
pdf の中では「疎な閉集合」という概念を導入せず、必要な個所では その都度
「内点を持たない閉集合」
という言葉に置き換えた。
(引用終り)
（注：＊）残念ながら、2018年10月時点では削除されているので、
過去スレアスキー文ご参照。例えば
スレ49 ｽﾚﾘﾝｸ(math板:178番)-187 ご参照
なお、私の手元には、PDFが残っているのだが、再アップの予定なし ）
つづく