定理の説明を詳しくした。