逆に全単射が存在するのに適当な測度を定義し直せないとしたら驚きだけど