离散数学设ABCD是集合,且A=C,B=D证明