うーん……別に実数体じゃなくても順序体なら実数への対応で同じことが言えるけどなｗ