All Theorems

• T1: A4 A5 A6 A8 A9
• T6: A4 A8 A9
• T4: A6 A5 A4 A8
• T3: A8 A5 A4
• T5: A9 A4 A8
• T2: A19 A20 A21 A22 A23 A24 A25 A26
• T7: A115 A79
• T8: A210 A218