Teorem.Herhangi bir konveks çokgende iki iç açının ölçüleri toplamı bu açılara komşu olmayan dış açıların toplamına eşittir.
n : kenar sayısı
1≤i≤n
ai : iç açılar
bi : dış açılar
a1+a2+a3+.........+an = (n-2).180
a1+a2+(180-b3)+(180-b4)+......(180-bn) = (n-2).180
a1+a2+(n-2).180 - (b3+b4+......+bn) = (n-2).180
a1+a2 = b3+b4+........+bn