>>438
△IABにおいて、∠DIBは∠AIBの外角。
これは、他の２角の和に等しい。