>>727
ハイネ-ボレルとかも自明ですか?