Paso inductivo: Mostrar que si "P"("k") es verdadera, entonces es verdadera.