proof by exhaustion