>>482
一般化して考える。

三次元空間の有界な立体 Ｖ を取る。
Ｖ の表面 ∂Ｖ 上の法ベクトルを ｎ とする。
任意の定ベクトル ｖ を取り、
　　ｖ・∫〔∂Ｖ〕ｎｄＳ＝∫〔∂Ｖ〕ｖ・ｎｄＳ
において、ストークスの定理を使えば、直ちに ０ になる。
任意のベクトルとの内積が ０ だから、
　　∫〔∂Ｖ〕ｖ・ｎｄＳ＝０

題意は、これを四面体に適用したに過ぎない。