>>719>>736
接束が積分可能sp(n)同伴束にリダクションできるということ