Source: https://www.people.vcu.edu/~rhammack/BookOfProof2/Solutions.pdf