Proving mathematical theorems usually involves the proof of
an implication, p --> q. Often it is convenient to prove the implication
by proving one which is equivalent to or "stronger" than the original
theorem. Proofs of this type are called indirect proofs.
In Chapter I five forms of indirect proofs...