第1巻命題16 三角形の外角は内対角より大きい

すべての三角形において、辺のひとつが延長されるとき、外角は内対角のいずれよりも大きい。