Si además existe otra aplicación inyectiva formula_23, entonces puede probarse que existe una aplicación biyectiva entre A y B.