トートロジーだと感じるのならHaar測度の条件でも確認しておけ
ルベーグ・ボレル測度はその特殊例に過ぎん