Asumir\(\vert A \vert = \vert B \vert = m\text{.}\) Entonces por definición existen bijecciones\(f: \mathbb{N}_{<m} \rightarrow A\) y\(g: \mathbb{N}_{<m} \rightarrow B\text{.}\) Ahora\(g \circ f^{-1}\...Asumir\(\vert A \vert = \vert B \vert = m\text{.}\) Entonces por definición existen bijecciones\(f: \mathbb{N}_{<m} \rightarrow A\) y\(g: \mathbb{N}_{<m} \rightarrow B\text{.}\) Ahora\(g \circ f^{-1}\) es una bijección\(A \to B\text{,}\) así\(A\) y\(B\) tienen el mismo tamaño según la definición técnica.
