訂正します：

修正案は，「連結」という言葉を登場させずに， I_{ij} が D の内部と外部の和集合に含まれ，
かつ D の外部とも D の内部とも共通点をもつとすると矛盾が起こることを示すことですね．