>>753
87ページ定理2.1