Phần giả thiết: c ∩ a = {A} ; c ∩ b = {B} Aˆ1+Bˆ2=180∘, (tham khảo hình vẽ) là của định lý nào dưới đây?