Asumir|A|=|B|=m. Entonces por definición existen bijeccionesf:N<m→A yg:N<m→B. Ahora\(g \circ f^{-1}\...Asumir|A|=|B|=m. Entonces por definición existen bijeccionesf:N<m→A yg:N<m→B. Ahorag∘f−1 es una bijecciónA→B, asíA yB tienen el mismo tamaño según la definición técnica.