En la demostración por exhaustividad, la conclusión se establece al dividirla en un número finito de casos y probarlos cada uno por separado.