>>109
弧＞弦を前提にすれば自明。
このためには弧の長さの定義することが必要。