Cuando "n" = 0 la fórmula es verdadera ya que formula_15, y (por convención) formula_16.