>>750

多様体要約の巻に、証明抜きで、結論のみが書いてあります。