一つの高さの場合
すべての点の z 座標が同じなら、その平面を射影と同一視して S=SzS=S_zS=Sz。S_y の各点の逆像は高々 |S_x| 個なので ∣S∣≤∣Sx∣∣Sy∣|S|\le |S_x||S_y|∣S∣≤∣Sx∣∣Sy∣。∣Sz∣=∣S∣|S_z|=|S|∣Sz∣=∣S∣ より結論。