>>212
ご苦労さまです
少々ご猶予を(^^

なにせ、私は、この板では証明を書かない主義です
といって、定理1.7のようにPDFをアップロードするつもりなく

まあ、分かりやすい証明を考えますよ(^^