Supuesta definida para un n ≥ 1 fijo, se define