領域の不変性ってのを使えば言えそう
https://en.wikipedia.org/wiki/Invariance_of_domain