usando la hipótesis de inducción "P"("k") es verdadera, el término izquierdo se puede reescribir: