Dokumen ini membahas tentang sistem geometri hiperbolik dan definisi defect segitiga. Defect segitiga didefinisikan sebagai 180 derajat dikurangi jumlah derajat sudut-sudut segitiga. Defect merupakan bilangan riil yang mengukur luas segitiga. Teorema menyatakan bahwa defect merupakan fungsi luas segitiga, sehingga segitiga-segitiga kongruen memiliki defect yang sama. Perkalian fungsi luas dengan bilangan positif hanya meng