8. Proof

8.01 Introducing Proof

8.02 Proof by Exhaustion Example 1 - Divisible by 4

8.03 Proof by Exhaustion Example 2 - Prime Number Search

8.04 Examples of Disproving by Counter-Example

8.05 Direct Proof Example 1 - Constructing a Logical Argument

8.06 Direct Proof Example 2 - An Algebraic Argument

8.07 Direct Proof Example 3 - A Second Algebraic Argument