Demostraciones por inducción completa