Una demostración por casos consta de dos etapas: