Howes, 定理4.4

定理 4.4 は 3 章で証明している定理 3.1, 3.2, 3.3 の net version。
4章から読み始めたので，その証明をフォローしておく必要がある。
ざっと本を見ると，距離空間を用いて初等的に証明してあるようだ。
後のことを考えると，これではうまくない。
この章の元になった Howes の論文を見ると，
ちょっと難しそうだが距離空間を使わずに証明してある。
こっちを読むことにする。