Proof by Case Analysis

* Added some exercises