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