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

---