Sea P(n) una afirmación que depende del parámetro n entero, y suponiendo que se demuestra lo siguiente,