离散数学证明题:对任意集合A,B和C,若有C≠∅,则有:A⊆B的充分必要条件是C×A⊆C×B.