离散数学A×B=A×C,A不是空集,则B=C.求证明过程.