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