También se puede demostrar que si formula_23 es el menor número tal que formula_25, entonces formula_26 siempre que formula_27.