一个集合证明题对任意三个集合A、B、C,证明:若A×B=A×C,且A≠空集,则B=C