最後に§4で導入されている一様被覆という言葉を定義しておきましょう。対してが成り立つときにいう。このとき、が成り立つ。これは定義からと計算できる。Q.E.D.*1:題名にも書かれていますが。存在するとするのと無数に存在するとするのが同値であることは既にみています。INTEGERSの脚注。1.2はヒントを書いて同様に示せるという立場を取っています。1.2の証明をしっかり記述します。成り立つことを意味する。対してのみ成立するものを扱うケースがあります。対して」の意味で使われていると思われる箇所があります。