Se puede demostrar que formula_16 para todo "n" impar distinto de 1.