>>7
Pickの定理とか呼んでいる人もいるよね。
平面のグラフ理論では常識の定理だけど、確かに知らない人も多い。