Para todo formula_10, existe sólo un número finito de formula_11 tales que formula_12.