集合的笛卡儿积和不相交并集构成积与和的证明