凸多面体Pを 任意の向き(↑Ox)に正射影する。
その輪郭は凸m角形となる。（m≧3)
各辺 e_i に対応するPの稜 L_i があって、それらは相異なる。
稜L_iの両側の2面(j，k)は、こちら向き & あちら向きである。
その外向き法線を n_j，n_k とすると、 (↑Ox・↑n_j)(↑Ox・↑n_k) < 0,
L_i (n_j，n_k) に対し、この条件を満たす「接する」向き ↑Ox の存在範囲は、
平面jの外側で平面kの内側、または、平面jの内側で平面kの外側
であり、立体角4θ_iの範囲となる。（θ_i は稜L_iの両側の2面のなす角)
一方、任意の向き↑Oxに対し、この条件を満たす「接する」稜が3本以上ある。(m≧3)
∴ すべての稜についての立体角の総和 Σ_i (4θ_i) は 3Ω = 12π 以上でなくてはならない。
∴ 両辺を4で割れば示すべき不等式を得る。
