https://imgur.com/mlqHgXj.jpg

「これらの曲線を境界にもつ領域は領域 D に含まれているものとする。」

と書いてありますが、これらの曲線は D 内にあるわけですから、余計なことを書いていないでしょうか?