L8_A TA time_Q1,Q4,Q5,Q6L8_B TA time_Q11,Q12,Q13,Q14,Q18,Q19L8_C Axiom/Lemma/Corollary/Theorem/Conjecture Methods of provingL8_D Methods of proving Direct Proof Indirect Proof