>>229 ない.
領域不変の定理( invariance of domain theorem ) の系として証明可能.