Teorema 0: Si existe un número, "s", tal que para todo formula_3,