拡張定理
【かくちょうていり】
【kakuchouteiri】
扩张定理