Deducimos que el resultado es verdadero para "n" = "k" + 1 cuando es verdadero para "n" = "k".