公表論文集　　VIII. 基本補題		21 / 34

---