También, existe un entero "L" tal que si formula_43 entonces formula_44.