proof by case analysis