Si además existe otra aplicación sobreyectiva formula_23, entonces puede probarse que existe una aplicación biyectiva entre formula_14 y formula_15, por el teorema de Cantor-Bernstein-Schröder.