How To Do Proof By Cases