高斯定理如何推导