2. Methods of Proof. Many theorems are implicationsRecall that an implication (p ? q) is true when both p and q are true, or when p is false; it is only false if q is falseTo prove an implication, we need only prove that q is true if p is true (it is not common to prove q itself). 3. Direct Proof.