Lecture 4

We covered examples of rephrasing a claim (e.g. proof by contrapositive) and proof by cases (see sections 3.6-3.13).

We also looked at the Euclidean Algorithm, as an excuse to talk about divisibility concepts from the early part of chapter 4. We ended partway through a proof that output value isn't changed when we reset the variable values in the middle of the loop.