On Theorem Proving and Writing Proofs
Introduction: In the preceding chapter we explored some proof techniques. We
looked at various ways, such as direct and indirect proofs of mathematical statements. In this chapter we learn more about writing proofs to make them more readable as well as how to tackle specific difficulties that arise in proving theorems.