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