L9_A Indirect proofs Prove by contraposition Prove by contradictionL9_B Indirect proof Prove by contradiction