4.1 : Direct Proof and Counterexample I - Introduction
4.2 : Direct Proof and Counterexample II - Rational Numbers
4.3 : Direct Proof and Counterexample III - Divisibility
4.4 : Direct Proof and Counterexample IV - Division into Cases and the Quotient-Remainder Theorem