Se trata de comprobar que, si la fórmula se verifica para el valor n, entonces se verifica para n + 1.