はその有限部分である。