分成两个非空高度范围
取水平面把 S 分为非空的 T,U。它们在 yz、zx 上的投影按高度不相交,且 Tz,Uz⊆SzT_z,U_z\subseteq S_zTz,Uz⊆Sz,所以所示投影等式成立。