C_0 ⊃ C_0', C_1 ⊃ C_1', C_0 - C_0' = C_1 - C_1'であるような有限集合C_0, C_0', C_1, C_1'の例なんて本当にありますか?