[0,1] aralığındaki bir x reel sayısı sonsuz ondalık yazılımla
x=0,x1x2...xn... ; ( xi∈{0,1,2,...,9}) biçiminde tek türlü yazılabilir..
Bu ondalık açılım ile f((0,x1x2x3...),(0,y1y2y3...))=0,x1y1x2y2...
f:A→B fonksiyonunu tanımlayalım. f(x,y)=f(x∗,y∗) ise 0,x1y1x2y2...=0,x∗1y∗1x∗2y∗2... dir. Ondalık açılımın tek türlü belirli olmasından dolayı;
x1=x∗1 , y1=y∗1 , ... dır. Ve sonuç olarak (x,y)=(x∗,y∗) elde edilir. Dolayısıyla f birebirdir. Ayrıca f((0,x1x3x5...),(0,x2x4x6...))=0,x1x2x3x4...=x olduğundan f örtendir.
Sonuç olarak A dan B ye birebir ve örten bir fonksiyon tanımlanabildiğinden A ve B kümeleri birbirlerine eş güçlüdür. Buradan da |A|=|B| dır..