Si formula_6 y formula_7 son conjuntos finitos con formula_8 > formula_9 entonces no existe ninguna función inyectiva de A en B.