Dados dos conjuntos formula_7 e formula_5 finitos, entonces existirá una biyección entre ambos si y sólo si formula_7 e formula_5 tienen el mismo número de elementos.