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