Section 4.1

Section 4.1 constructs the integers using the natural numbers.