Sec. 7, 3.4-3.5 due January 23

Proof by cases seems relatively straight forward.  The only bit that gave me any pause when the book started talking about a proof without loss of generality. This can be used when the proofs necessary to do the proof by cases are fairly similar.  It seems to me that there should be some exception that would make this method no longer functional.  It seems generally safer to do all of the cases, even though it is slightly more time consuming.