Proof by exhaustion and deduction - example