"Bir üçgenin iç açılarının toplamı 180°'dir" teoremini doğrudan ispat yöntemiyle kanıtlamak için genellikle hangi matematiksel yapı kullanılır?