donde formula_9 es un entero arbitrario.