We discuss some approaches to proofs in this section. We focus our attention
on proof by mathematical induction, direct proofs, and indirect proofs
(by contrapositive, equivalence
and proofs using contradiction). We assume that the theorem statement is a
conditional form ( 
)
since the biconditional form is equivalent to two
conditional implications.