Ahora, supongase que el enunciado es válido para "n" = "k":