Para demostrar la terminación de la función niveles aplicando este esquema de inducción