は成立しそうなんだが…、証明が思いつかない。そもそも、相対的内部って扱いにくい。