>>493 ハイネボレルの被服定理そのままだろう…。