$A\sim B$ olduğundan $A$ kümesinden $B$ kümesine tanımlı en az bir bijektif $f$ fonksiyonu vardır.
$$g(x,y):=(f(x),y)$$ kuralı ile verilen $$g:A\times C\to B\times C$$ fonksiyonu bijektif (Neden?) olduğundan $$A\times C$$ kümesi ile $$B\times C$$ kümesi denktir.